Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
571	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com A Complete and Effective Move Set for Simplified Protein Folding Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2003-02-21 13:49:05 Graph theory Mathematics Graph connectivity Algorithm Mathematical logic Theoretical computer science Path Local search Ear decomposition Eulerian path
572	The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637. Add to Reading List Source URL: people.linguistics.mcgill.ca Language: English - Date: 2012-07-11 18:04:53 Geometry Mathematics Mathematical optimization Linguistics Optimality theory Phonology Phonotactics Linear algebra Hyperplane Feasible region Arrangement of hyperplanes Modal logic
573	REPORTS IN INFORMATICS ISSN Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2005-09-22 07:33:29 Logic Mathematics Abstraction Model theory Formal languages Metalogic Mathematical logic Interpretation Compactness theorem Well-formed formula Constructible universe IP
574	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Algorithms Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 14:59:02 Theoretical computer science Algorithm Mathematical logic Algorithms Robot Parametric search Algorithm characterizations
575	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
576	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
577	Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-05-26 10:48:57 Logic Mathematics Mathematical logic Model theory Quantification Metalogic Predicate logic Logic in computer science Quantifier elimination Abstract interpretation Quantifier FO
578	Microsoft PowerPoint - Access-Based Localization for Octagons.pptx Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Constraint programming Logic programming Loop quantum gravity Data modeling Mathematical optimization
579	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
580	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 186 DATE: MAY 1, 2016 PROJECT MP0133 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-04-05 10:54:27 Logic Linguistics Analytic philosophy Punctuation Bracket Mathematical notation Matrix Definition Communist Party of Canada Cooperative Patent Classification

UPDATE